Locality for Classical Logic
نویسندگان
چکیده
منابع مشابه
Locality for Classical Logic
In this paper we will see deductive systems for classical propositional and predicate logic in the calculus of structures. Like sequent systems, they have a cut rule which is admissible. Unlike sequent systems, they drop the restriction that rules only apply to the main connective of a formula: their rules apply anywhere deeply inside a formula. This allows to observe very clearly the symmetry ...
متن کاملNon-Locality in Classical Electrodynamics
Classical electrodynamicsÐif developed consistently, as in Dirac's classical theory of the electronÐis causally non-local. I distinguish two distinct causal locality principles and argue, using Dirac's theory as my main case study, that neither can be reduced to a non-causal principle of local determinism.
متن کاملLocality, QED and Classical Electrodynamics
We report on some conceptual changes in our present understanding of Quantum Field Theory and muse about possible consequences for the understanding of v > c signals.
متن کاملAlgebra, Logic, Locality, Concurrency
This talk reports on ongoing work – with Tony Hoare, Akbar Hussain, Bernhard Möller, Rasmus Petersen, Georg Struth, Ian Wehrman, and others – on models and logics for concurrent processes [10,6,5]. The approach we are taking abstracts from syntax or particular models. Message passing and shared memory process interaction, and strong (interleaving) and weak (partial order) approaches to sequenci...
متن کاملCombinatory Logic and - Calculus for Classical Logic
Since Gri n's work in 1990, classical logic has been an attractive target for extracting computational contents. However, the classical principle used in Gri n's type system is the double-negation-elimination rule, which prevents one to analyze the intuitionistic part and the purely classical part separately. By formulating a calculus with J (for the elimination rule of falsehood) and P (for Pe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2006
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1168352668